Empirical Progress and Ampliative Adaptive Logics∗
نویسنده
چکیده
In this paper, I present two ampliative adaptive logics: LA and LA. LA is an adaptive logic for abduction that enables one to generate explanatory hypotheses from a set of observational statements and a set of background assumptions. LA is based on LA and has the peculiar property that it selects those explanatory hypotheses that are empirically most successful. The aim of LA is to capture the notion of empirical progress as studied by Theo Kuipers.
منابع مشابه
Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction
In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms of ampliative adaptive logics. The advantages of this reconstruction are important: the resulting logics have a proper proof theory (that leads to justified conclusions even for undecidable fragments), they nicely integrate deductive and abductive steps, and they are much closer to natural reaso...
متن کاملKnowledge Representation as Domains
This is a continuing attempt in a series of papers KM 93, Mur 93, Mur 94] to show how computer-represented knowledge can be arranged as elements of an eeectively represented semantic domain in the sense of GS 90]. We present a direct deductive description of the domain, which was deened semantically in KM 93], via the Scott's notion of information system. Also, the internal structure of the con...
متن کاملCombining Inductive Generalization and Factual Abduction
The aim of this paper is to outline a first-order model for ampliative reasoning that fruitfully combines the inference patterns of inductive generalization and factual abduction. The pattern of inductive generalization is the archetype pattern of inductive inference by which we arrive at a universally quantified statement (All P s are Q) given one or more instances (Some P s are Q). In factual...
متن کاملEmpirical Mode Decomposition based Adaptive Filtering for Orthogonal Frequency Division Multiplexing Channel Estimation
This paper presents an empirical mode decomposition (EMD) based adaptive filter (AF) for channel estimation in OFDM system. In this method, length of channel impulse response (CIR) is first approximated using Akaike information criterion (AIC). Then, CIR is estimated using adaptive filter with EMD decomposed IMF of the received OFDM symbol. The correlation and kurtosis measures are used to sel...
متن کاملDetection of Breast Cancer Progress Using Adaptive Nero Fuzzy Inference System and Data Mining Techniques
Prediction, diagnosis, recovery and recurrence of the breast cancer among the patients are always one of the most important challenges for explorers and scientists. Nowadays by using of the bioinformatics sciences, these challenges can be eliminated by using of the previous information of patients records. In this paper has been used adaptive nero fuzzy inference system and data mining techniqu...
متن کامل